	Search		Browse		Templates		Query

[paper]

paperid	title	year	banks_node_id
conf/time/BolligL01a	Modelling Specifying and Verifying Message Passing Systems.	2001	551366

Click here to go back to the BANKS homepage.

About BANKS - Help - People - Publications

IIT Bombay > CSE Department > Informatics Lab
Comments: {sudarsha} [at] cse.iitb.ac.in {soumen} [at] cse.iitb.ac.in